Logos, logic and maximal infinity

The logic of categorematic and syncategorematic infinity

LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages

This paper introduces LOGOS, an object-oriented framework to present and implement in a unitary manner different logic programming languages (abbreviated in the sequel as LPLs). LOGOS is made of · an abstract1 logic programming language (here refereed as AbstractLOGOS); · a class library of main data structures and actors which serve for implementing LPLs as instances of AbstractLOGOS; · an int...

Logos, Pathos, and Entertainment

Various new forms of entertainment using information and media technologies have emerged and been accepted among people all over the world. Casual and serious games, as well as communication using mobile phones, blogs, and Twitter, are such kinds of new entertainment. It is important to discuss the basic characteristics of such entertainment and to understand the direction to which these new fo...

The Logos Translatability Index

A serious problem for users of machine translation is estimating the suitability of a particular document for MT and, thus, the translation quality. The available utilities such as style and grammar checkers, well-formedness and readability measures have not proven sufficiently useful in this regard. Researchers at Logos Corporation therefore undertook a study of the feasibility of a translatab...

MAXIMAL PRYM VARIETY AND MAXIMAL MORPHISM

We investigated maximal Prym varieties on finite fields by attaining their upper bounds on the number of rational points. This concept gave us a motivation for defining a generalized definition of maximal curves i.e. maximal morphisms. By MAGMA, we give some non-trivial examples of maximal morphisms that results in non-trivial examples of maximal Prym varieties.